#include "confini-baremetal.h"
